#!/bin/bash
ant -Dplatforms.JDK_1.8.home=$JAVA_HOME "$@"